Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
نویسندگان
چکیده
Petri nets and Algebraic High-Level Nets are well-known to model parallel and concurrent systems. In this paper, we introduce the concept of Algebraic Higher-Order Nets, which allow to have dynamical tokens like graphs or (ordinary low-level) Petri nets. For this purpose, we specify graphs and Petri nets in the higher-order algebraic specification language HasCasl such that graphs and Petri nets become first-class citizens, i.e. members of algebras (rather than algebras themselves). As an example, we model hospital therapeutic processes by a single higherorder net. Individual care plans for each patient are tokens modeled by low-level nets.
منابع مشابه
Formal approach and applications of algebraic higher-order nets
Approaches based on Petri nets are important for the development and redesign of distributed and concurrent systems. This thesis introduces the formal approach of algebraic higher-order nets as a novel modeling technique, which comprises the advantages of the well-researched net classes of coloured Petri nets and algebraic highlevel nets. Moreover, algebraic higher-order nets can be seen as a f...
متن کاملAlgebraic System Nets for Modelling Distributed Algorithms
Algebraic high level nets have been introduced in order to exploit the rich theory of algebraic speci cations for high level Petri nets Besides the use of algebraic speci cations most formalizations of algebraic nets have one feature in common the number of tokens owing through a particular arc when the corresponding transition occurs is always the same in whichever mode the transition occurs W...
متن کاملMobile Object Net Systems: Petri Nets as Active Tokens
In this work we present the model of “mobile object net systems” – an algebraic formalisation of the “nets within nets”-paradigm, which is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of “nets within nets” covers an integrated view of the two major topics concurrency and locality, which are central in the area of mobile c...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملRONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets
Reconfigurable Object Nets (RONs) have been implemented in our group to support the visual specification of controlled rule-based transformations of marked place/transition (P/T) nets. RONs are high-level nets (system nets) with two types of tokens: object nets (P/T nets) and net transformation rules. System net transitions can be of different types to fire object net transitions, move object n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002